Systems analysis

Results: 12418



#Item
141Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’16) Qu´ ebec City, Qu´

Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’16) Qu´ ebec City, Qu´

Add to Reading List

Source URL: formats16.lsv.fr

- Date: 2016-02-27 04:41:05
    14219th Annual IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems The Case for Evaluating MapReduce Performance Using Workload Suites Yanpei Chen, Archana Ganapath

    19th Annual IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems The Case for Evaluating MapReduce Performance Using Workload Suites Yanpei Chen, Archana Ganapath

    Add to Reading List

    Source URL: yanpeichen.com

    - Date: 2013-09-10 22:07:04
      143Impact Analysis for Event-based Systems using Change Patterns Simon Tragatschnig, Huy Tran and Uwe Zdun Research Group Software Architecture University of Vienna, Austria

      Impact Analysis for Event-based Systems using Change Patterns Simon Tragatschnig, Huy Tran and Uwe Zdun Research Group Software Architecture University of Vienna, Austria

      Add to Reading List

      Source URL: eprints.cs.univie.ac.at

      - Date: 2013-12-04 08:57:20
        144Worst-Case Execution Time Analysis of Security Policies for Deeply Embedded Real-Time Systems Sibin Mohan Dept. of Computer Science, North Carolina State University, Raleigh, NCAbstract

        Worst-Case Execution Time Analysis of Security Policies for Deeply Embedded Real-Time Systems Sibin Mohan Dept. of Computer Science, North Carolina State University, Raleigh, NCAbstract

        Add to Reading List

        Source URL: www.cs.virginia.edu

        - Date: 2008-02-18 18:05:28
          145Systems Analysis of Apoptotic Signalling Networks Contents Introduction.......................................... 1 On the TRAIL of Suicidal Cells2

          Systems Analysis of Apoptotic Signalling Networks Contents Introduction.......................................... 1 On the TRAIL of Suicidal Cells2

          Add to Reading List

          Source URL: www.apoptosis-networks.eu

          - Date: 2011-06-21 10:55:57
            146Pareto Front Modeling for Sensitivity Analysis in Multi-Objective Bayesian Optimization Roberto Calandra Jan Peters∗ Intelligent Autonomous Systems Lab

            Pareto Front Modeling for Sensitivity Analysis in Multi-Objective Bayesian Optimization Roberto Calandra Jan Peters∗ Intelligent Autonomous Systems Lab

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2016-04-20 05:30:18
              147A DETAILED FORENSIC ANALYSIS AND RECOMMENDATIONS FOR RHODE ISLAND’S PRESENT AND FUTURE VOTING SYSTEMS BY SUZANNE IRENE MELLO A DISSERTATION SUBMITTED IN PARTIAL FULFILLMENT OF THE

              A DETAILED FORENSIC ANALYSIS AND RECOMMENDATIONS FOR RHODE ISLAND’S PRESENT AND FUTURE VOTING SYSTEMS BY SUZANNE IRENE MELLO A DISSERTATION SUBMITTED IN PARTIAL FULFILLMENT OF THE

              Add to Reading List

              Source URL: www.dfcsc.uri.edu

              - Date: 2011-12-11 21:17:50
                148AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

                AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

                Add to Reading List

                Source URL: www.avacs.org

                - Date: 2011-01-07 05:03:38
                  149Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

                  Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

                  Add to Reading List

                  Source URL: nigam.info

                  - Date: 2016-05-07 12:12:43
                    150AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

                    AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

                    Add to Reading List

                    Source URL: www.avacs.org

                    - Date: 2015-10-13 06:35:42